#lang racket

(define (new-if predicate then-clause else-clause)
  (cond (predicate then-clause)
        (else else-clause)))

(new-if (= 2 3) 0 5)
;5

(new-if (= 1 1) 0 5)
;0

(define (average x y)
  (/ (+ x y) 2))


(define (square x) (* x x))

(define (good-enough? guess x)
  (< (abs (- (square guess) x)) 0.001))

(define (improve guess x)
  (average guess (/ x guess)))

(define (sqrt-iter guess x)
  (new-if (good-enough? guess x)
          guess
          (sqrt-iter (improve guess x)
                     x)))

(sqrt-iter 1 4)

;Вычисление sqrt-iter застрянет в бесконечном рекурсивном вызове, так как в ее 
;теле вычисляется new-if с третьим операндом с sqrt-iter в качестве оператора. 
;new-if это процедура, при ее вызове сначала вычисляются операнды, то есть обе 
;ветки if-выражения. Именно потому что вычисление обоих веток условного выражения 
;нежелательно if является особой формой.